acm sigact造句

He was the chair of ACM SIGACT and succeeded by Paul Beame.
From 1983 to 1987, Galil served as the chairman of ACM SIGACT, an organization that promotes research in theoretical computer science.
Since 2000, a review of the PODC conference appears in the year-ending issue of the ACM SIGACT News Distributed Computing Column.
Reviews of the SIROCCO conference have appeared in the year-ending issues of the ACM SIGACT News Distributed Computing Column in 2001, 2005, 2009 and 2011.
His seminal paper, " The Complexity of Theorem Proving Procedures, " presented at the 1971 ACM SIGACT Symposium on the Theory of Computing, laid the foundations for the theory of NP-Completeness.
It's difficult to find acm sigact in a sentence. 用acm sigact造句挺难的

Work at the institute was recognized by national or international research awards, such as the Lanchester Prize ( awarded yearly by INFORMS ), the G鰀el Prize ( awarded by ACM SIGACT ) or the Spinoza Prize.